<?php


function hello_world(){
	return "Hello World!";
}
